Project Mathematics! - PDFSEARCH.IO - Document Search Engine

Project Mathematics!
Results: 2319

#	Item
491	Microsoft Word - Consolidated CM_Distribution_Dec13_Eng Add to Reading List Source URL: www.edb.gov.hk Language: English - Date: 2013-12-23 02:59:46 Curriculum Didactics Mathematics education Cognition Project-based learning Philosophy of education Education Knowledge
492	An Australian Microsoft Partners in Learning (PiL) Project Curriculum K–12 Directorate NSW Department of Education and Training Microsoft PiL Project Add to Reading List Source URL: www.curriculumsupport.education.nsw.gov.au Language: English - Date: 2007-07-18 19:20:16 Software engineering Data types 0 Nothing C Multiplication Array data type 24 Game Mathematics Elementary arithmetic Computing
493	Composing with All Sound Using the FreeSound and Wordnik APIs Evan X. Merz University of California at Santa Cruz Music Department 1156 High Street Santa Cruz, CA. Add to Reading List Source URL: evanxmerz.com Language: English - Date: 2013-10-03 23:27:26 The Freesound Project Graph Graph theory Mathematics Sound
494	The Jury for the Mathematics and … Project Call 2007 Add to Reading List Source URL: www.wwtf.at Language: English - Date: 2011-11-07 13:34:34 Cognitive science International School for Advanced Studies Cognitive robotics Knowledge Academia Interdisciplinary fields Science Tim Shallice
495	Deliverable D4.4 Final work package report Project acronym Project full title Add to Reading List Source URL: simbad-fp7.eu Language: English - Date: 2011-09-20 08:29:12 Graph embedding Graph theory Topological graph theory Mathematics
496	Computational effects in computable and formalized mathematics (EFFMATH) Project summary Andrej Bauer Faculty of Mathematics and Physics University of Ljubljana Add to Reading List Source URL: math.andrej.com Language: English - Date: 2014-11-22 07:09:08 Computing Mathematical constructivism Realizability Functional programming Computer science Monad Algorithm Ludics Software engineering Mathematical logic Mathematics
497	WWTF: Mathematics and … Project Call 2009 Jury process Jury member Position Add to Reading List Source URL: www.wwtf.at Language: English - Date: 2011-12-12 14:00:56 Academia Education Education in Munich Technical University Munich Jan Karel Lenstra
498	WWTF: Mathematics and … Project Call 2007 Jury process Jury member Position Add to Reading List Source URL: www.wwtf.at Language: English - Date: 2011-12-12 14:05:05 Faculty of Engineering (LTH) Lund University Lund University Applied mathematics
499	The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations? David Delahaye1 , Catherine Dubois2 , Claude Marché3 , and David Mentré4 (for the BWare project consortium?? ) 1 Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-27 10:57:11 Formal methods Automated theorem proving Logic in computer science Proof assistant Coq Mathematical proof TPTP KeY Formal verification Theoretical computer science Mathematics Mathematical software
500	ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER FINAL DRAFT - UNDER REVIEW DR. GAVIN WOOD CO-FOUNDER & LEAD, ETHEREUM PROJECT Add to Reading List Source URL: gavwood.com Language: English - Date: 2015-04-09 07:05:08 Character encoding String Parity of a permutation Keccak Cryptographic hash function Bitcoin Structure Hash function Digital signature Cryptography Mathematics NIST hash function competition

UPDATE